#include<stdio.h>
#include<unistd.h>
void
main(){
	printf("yes");
	execl("cmd php -v");
}